منابع مشابه
Abduction over Unbounded Domains via ASP
It is known that abduction can be embedded into Answer Set programming (ASP). This enables sophisticated answer set solvers to be applied to abduction problems. However this approach does not scale to abduction over infinite domains, nor to unbounded abduction of individual existence, due to well-known undecidability results. The approaches to open abduction usually rely on 3-valued semantics t...
متن کاملBounded Domains and Unbounded Domains
First, notions of inside components and outside components are introduced for any subset of n-dimensional Euclid space. Next, notions of the bounded domain and the unbounded domain are defined using the above components. If the dimension is larger than 1, and if a subset is bounded, a unbounded domain of the subset coincides with an outside component (which is unique) of the subset. For a spher...
متن کاملSolving Analytic Differential Equations in Polynomial Time over Unbounded Domains
In this paper we consider the computational complexity of solving initial-value problems defined with analytic ordinary differential equations (ODEs) over unbounded domains of R and C, under the Computable Analysis setting. We show that the solution can be computed in polynomial time over its maximal interval of definition, provided it satisfies a very generous bound on its growth, and that the...
متن کاملComputational complexity of solving polynomial differential equations over unbounded domains
In this paper we investigate the computational complexity of solving ordinary differential equations (ODEs) y′ = p(y) over unbounded time domains, where p is a vector of polynomials. Contrarily to the bounded (compact) time case, this problem has not been well-studied, apparently due to the “intuition” that it can always be reduced to the bounded case by using rescaling techniques. However, as ...
متن کاملSOLVING SINGULAR ODES IN UNBOUNDED DOMAINS WITH SINC-COLLOCATION METHOD
Spectral approximations for ODEs in unbounded domains have only received limited attention. In many applicable problems, singular initial value problems arise. In solving these problems, most of numerical methods have difficulties and often could not pass the singular point successfully. In this paper, we apply the sinc-collocation method for solving singular initial value problems. The ability...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Applied Mathematics
سال: 1997
ISSN: 0196-8858
DOI: 10.1006/aama.1997.0541